Abstract Interpretation and Object-oriented Programming: Quo Vadis?
نویسندگان
چکیده
Interpretation and Object-oriented Programming: Quo Vadis?
منابع مشابه
Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks
This paper presents Quo Vadis, an evolving framework for intelligent tra c management in very large communication networks. Quo Vadis is designed to exploit topological properties of large networks as well as their spatio-temporal dynamics to optimize multiple performance criteria through cooperation among nodes in the network. It employs a distributed representation of network state informatio...
متن کاملQuo Vadis - A Framework for Intelligent Routing in Large Communication Networks
This paper presents Quo Vadis, an evolving framework for intelligent tra c management in very large communication networks. Quo Vadis is designed to exploit topological properties of large networks as well as their spatio-temporal dynamics to optimize multiple performance criteria through cooperation among nodes in the network. It employs a distributed representation of network state informatio...
متن کاملAnalysing and Optimizing Strongly Typed Object oriented Languages A Generic Approach and its Application to Oberon
Object oriented programming is going to replace the imperative programming paradigm as the state of the art paradigm for large industrial software projects The bene ts o ered however come at the price of intricate new problems for optimizing compilers In contrast to the imperative paradigm where abstract interpretation is well established as a uniform and theoretically well founded framework fo...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملQuo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web (Position Paper)
Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, while the latter is an area of research and development which is rapidly expanding in recent years, the former fails to participate in these developments on a large scale. In this paper, we attempt to stimulate the Conceptual Struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 131 شماره
صفحات -
تاریخ انتشار 2005